DEF=verif
EXT=verif
TESTDIR=../tests
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module VERIF
export KORE_EXEC_OPTS=--log-level error

include ../../../../include/kframework/ktest.mak
